﻿body
{
    font-family: "Helvetica" , "Lucida Sans" , "Lucida Sans Unicode" , "Luxi Sans" ,Tahoma,sans-serif;
    font-size: 12px;
}

pre
{
    font-family: Consolas !important;
    font-size: 16px !important;
}

td.code
{
    padding: 0px;
    text-align: left;
    vertical-align: top;
}
td.code pre
{
    padding: 5px;
}

td.linenums
{
    padding: 0px;
    border-right: 1px solid #DEDEDE;
    text-align: right;
    vertical-align: top;
}
td.linenums pre
{
    padding: 5px;
}
.toolbar
{
    float: right;
}
.toolbar img
{
    cursor: pointer;
}

.comment
{
    background-color: #FFEEEE;
    color: #FFFFFF;
    padding: 5px;
    border: 1px solid #999999;
    border-radius: 4px;
}
.comment.selected
{
    background-color: #CCCCFF;
}

.comment > div.problem, .comment > div.response
{
    white-space: nowrap;
    color: #000000;
    font-size: 14px;
}

comment
{
    border-bottom: 2px solid #FFAAAA;
    background-color: #FFEEEE;
    font-family: Consolas;
    cursor: pointer;
}
comment.selected
{
    border-bottom: 2px solid #AAAAFF;
    background-color: #CCCCFF;
}

#comment-list > div 
{
    border-radius: 4px;
    background-color: #BBBBBB;
    margin-bottom: 3px;
}
#comment-list .selected 
{
    border-radius: 4px;
    background-color: #CCCCFF;
}